Combining UML and Z in a Software Process
نویسنده
چکیده
Observing students writing specification in UML and Z has motivated the work presented in this paper. There is a need to add formal specification to diagrammatic notations such as UML and there is even a greater requirement to examine where in the software life cycle Z specifications are most useful. The Z language allows us to use abstraction in software development but UML has rich constructs for modelling systems with concise diagrams. Languages are only islands and need to be accompanied with methods that show their usage in a process. The Unified Process has been developed to use with UML. This paper examines how UML can be augmented with Z and where in the Unified Process Z specifications fit best.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملLinking CSP-OZ with UML and Java: A Case Study
We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engineering languages, viz. UML and Java. Our aim is to generate a significant part of the CSP-OZ specification from an initially developed UML model using a UML profile for CSP-OZ, and afterwards transform the formal specification in...
متن کاملHarmony: An Environment for the Combined Use of UML and Z++ in Software Specification
Graphical notations have traditionally played an important role in the process of software development, particularly during the analysis and design phases. However, in applications in which the reliability of the software is a primary concern a graphical notation such as UML needs to be complemented by a formal language in order to provide enhanced support for pragmatic and rigorous development...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کامل